Construction and Verification of Performance and Reliability Models
نویسنده
چکیده
Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. Instead of striving for mathematical rigour, the intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra, and to model checking as a technique to analyse stochastic models. In Bulletin of the EATCS (74), p. 135-154, 2001.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملVerification of an Evolutionary-based Wavelet Neural Network Model for Nonlinear Function Approximation
Nonlinear function approximation is one of the most important tasks in system analysis and identification. Several models have been presented to achieve an accurate approximation on nonlinear mathematics functions. However, the majority of the models are specific to certain problems and systems. In this paper, an evolutionary-based wavelet neural network model is proposed for structure definiti...
متن کاملLocation and prioritization the underground dam using SWAT and MADM models
The construction of underground dams for storing groundwater resources can be one of the suitable solutions for the supply and development of water resources. If these dams are properly implemented, can be stored water in wet season and used in dry periods. This study was conducted to select appropriate sites for the construction of underground dams in the Keryan-Minab watershed in Hormozgan pr...
متن کاملUse of the Shearlet Transform and Transfer Learning in Offline Handwritten Signature Verification and Recognition
Despite the growing growth of technology, handwritten signature has been selected as the first option between biometrics by users. In this paper, a new methodology for offline handwritten signature verification and recognition based on the Shearlet transform and transfer learning is proposed. Since, a large percentage of handwritten signatures are composed of curves and the performance of a sig...
متن کاملDesign and construction of 6-component balance dynamometer for measurement of the forces, moments andmotions of ship models in the towing tank
During design spiral of a merchant ship or a naval vessel, it is important to perform towing tank tests in order to measure its performance either in calm water maneuvers or in waves for seakeeping performance. Also, to optimize a hydrodynamic design, towing tank tests are advantageous.This article presents the results of an applied research project. The objective of this project is to design a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Bulletin of the EATCS
دوره 74 شماره
صفحات -
تاریخ انتشار 2001